ChemKED: A Human- and Machine-Readable Data Standard for Chemical Kinetics Experiments
نویسندگان
چکیده
منابع مشابه
ChemKED: a human- and machine-readable data standard for chemical kinetics experiments
Fundamental experimental measurements of quantities including ignition delay times, laminar flame speeds, and species profiles serve important roles in understanding fuel chemistry and validating chemical kinetic models. However, despite both the importance and abundance of such information in the literature, the community lacks a widely adopted standard format for this data. This impedes both ...
متن کاملDesign and Recognition of Human-Readable and Machine-Readable Patterns
In this paper, design and recognition of human-readable and machine-readable patterns are investigated. Specifically speaking, we design character images printed with a horizontal stripe pattern, called a cross ratio pattern. The cross ratio derived from the cross ratio pattern represents the class information of the character. Since the cross ratio is invariant to projective distortion, the cl...
متن کاملHuman-readable Machine-veriiable Proofs for Teaching Constructive Logic
A linear syntax for natural deduction proofs in rst-order in-tuitionistic logic is presented, which has been an eeective tool for teaching logic. The proof checking algorithm is also given, which is the core of the tutorial proof checker Tutch. This syntax is then extended to proofs on the assertion level which resemble single inferences one would make in a rigorous proof. The resulting languag...
متن کاملHuman-Readable Machine-Verifiable Proofs for Teaching Constructive Logic
A linear syntax for natural deduction proofs in first-order intuitionistic logic is presented, which has been an effective tool for teaching logic. The proof checking algorithm is also given, which is the core of the tutorial proof checker Tutch. This syntax is then extended to proofs on the assertion level which resemble single inferences one would make in a rigorous proof. The resulting langu...
متن کاملMachine-Readable Dictionaries, Lexical Data Bases And The Lexical System
I should like to raise some issues concerning the conversion from a traditional Marhine-Readable Dictionary (MRD) on tape to a Lexical Data Base (LDB), in order to highlight some important consequences for computational linguistics which can follow from this transition. The enormous potentialities of the information implicitly stored in a standard printed dictionary or a MRD can only be evidenc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Chemical Kinetics
سال: 2018
ISSN: 0538-8066
DOI: 10.1002/kin.21142